Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 3.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 002638 | Olivier Gasquet [France] ; François Schwarzentruber [France] ; Martin Strecker [France] | Satoulouse : The Computational Power of Propositional Logic Shown to Beginners |
| 002655 | Olivier Gasquet [France] ; François Schwarzentruber [France] ; Martin Strecker [France] | Panda : A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students |
| 002730 | Olivier Gasquet [France] ; François Schwarzentruber [France] | Concrete Epistemic Modal Logic: Flatland |
| This area was generated with Dilib version V0.6.33. |  |